Un bien natural compartido

Algèbres de réalisabilité: un programme pour bien ordonner R

Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...

El Bien Moral

Biblio Bien vieillir nov 2006

Directionality and (un)natural Classes in Syncretism

Syncretism, where a single form corresponds to multiple morphosyntactic functions, is pervasive in languages with inflectional morphology. Its interpretation highlights the contrast between different views of the status of morphology. For some, morphology lacks independent structure, and syncretism reflects the internal structure of morphosyntactic features. For others, morphological structure ...

Un petit cercle, un grand exemple (دایره‌ای کوچک، سرمشقی بزرگ )

نام هانری کربن با دو دایره گره خورده است: دایرة ارانوس و دایرة تهران؛ دایره‌هایی که مطابق منظر کربن، می‌توان آنها را به‌درستی رمزی و مثالی خواند. این مقاله به دایرة تهران اختصاص دارد، دایره‌ای تحقیقی که با حضور اندیشمندانی چند، و با محوریت دو شخصیت از شرق و غرب، علامه سید محمد حسین طباطبایی و هانری کربن، شکل می‌گرفت. برغم همه مشکلات فنی و فیزیکی ارتباط کلامی، این دو مرد، به خوبی با یکدیگر «مقاب...